formal inference
形式推理
热门查询
- anthropometry n. （使用比较方法的）[人类] 人体测量学
- Khrushchev n. 赫鲁晓夫
- sigil n. 印章；魔符；魔诀
- Hudson n. 哈得孙河
- artificial intelligence n. 人工智能 [网络] 人工智慧；人工智能专业研究生排名；人工知能
- bandanna n. 扎染印花大手帕（等于bandana）
- aficionado n. 迷；狂热爱好者
- knack n. 诀窍；本领；熟练技术；巧妙手法
- tangled adj. 紊乱的；纠缠的；缠结的；复杂的
- Bernhard [人名] 伯恩哈德
- contrite adj. 悔悟了的；后悔的；悔罪的
- chieftaincy n. 酋长或首领的地位或职位
- overture n. 前奏曲；提案；序幕 vt. 提议；为……奏前奏曲
- pester n. (Pester)人名；(德)佩斯特 vt. 纠缠，烦扰；使烦恼
- pigsty n. 猪舍；木垛；脏乱的地方
- unbelieving adj. 不相信的；多疑的
- approbation n. 认可；赞许；批准
- reply n. 回答；[法] 答辩 vt. 回答；答复 vi. 回答；[法] 答辩；回击
- misdemeanour n. 行为不端；轻罪；不轨行为
- struggling v. 努力；斗争；竞争（struggle的ing形式） adj. 奋斗的；努力的；苦斗的
考试词汇表
- post heat treatment
- post igneous action
- post insulator unit
- post mold labelling
- post mold shrinkage
- post molding insert
- post mortem program
- post mortem routine
- post mortem scalpel
- post nasal scissors
- post neat treatment
- post neutralization
- post office payment
- post office problem
- post office savings
- post oral appendage
- post orbital groove
- post polio syndrome
- post polymerization
- post pregnancy year
